A new partial order based on core partial order and star partial order
نویسندگان
چکیده
منابع مشابه
Partial Order
Ginsberg has recently introduced a polynomial space aggressive dependency directed backtrack search technique. Aggressive dependency directed techniques have the property that the size of the search space generated by a union of disjoint subproblems is proportional to the sum of the search space generated by each problem independently. Earlier polynomial space dependency directed methods did no...
متن کاملEconomic order quantity with partial backordering and sampling inspection
To access the efficient inventory system, managers should consider all the situations that have happened in reality. One of these situations is the presence of the defective items in each received lot and the other situation is being the group of customers that do not wait to fulfill their requirements from the vendor and choose another one to get their orders so the proportion of the backorder...
متن کاملUnfolding-based Partial Order Reduction
Partial order reduction (POR) and net unfoldings are two alternative methods to tackle statespace explosion caused by concurrency. In this paper, we propose the combination of both approaches in an effort to combine their strengths. We first define, for an abstract execution model, unfolding semantics parameterized over an arbitrary independence relation. Based on it, our main contribution is a...
متن کاملA New Partial Order ReductionAlgorithm for
This paper presents a new partial order reduction algorithm called Two phase that is implemented in a veriication tool, PV (Protocol Veriier). Two phase signiicantly reduces space and time requirements on many practically important protocols on which the partial order reduction algorithms implemented in previous tools (Godefroid 1995, Holzmann et al. 1994, Peled 1996) yield very little savings....
متن کاملLearning on Partial-Order Hypergraphs
Graph-based learning methods explicitly consider the relations between two entities (i.e., vertices) for learning the prediction function. They have been widely used in semi-supervised learning, manifold ranking, and clustering, among other tasks. Enhancing the expressiveness of simple graphs, hypergraphs formulate an edge as a link to multiple vertices, so as to model the higher-order relation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Inequalities
سال: 2023
ISSN: ['1846-579X', '1848-9575']
DOI: https://doi.org/10.7153/jmi-2023-17-35